Intuitionism and formalism

Intuitionism and Formalism

The subject for which I am asking your attention deals with the foundations of mathematics. To understand the development of the opposing theories existing in this field one must first gain a clear understanding of the concept “science”; for it is as a part of science that mathematics originally took its place in human thought. By science we mean the systematic cataloguing by means of laws of n...

Intuitionism

Anti-intuitionism and paraconsistency

This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionistic propositional logics and investigating their relationships with the original intuitionistic logics. It is shown here that anti-intuitionistic logics are paraconsistent, and in particular we develop a first an...

Mass Problems and Intuitionism

Let Pw be the lattice of Muchnik degrees of nonempty Π1 subsets of 2. The lattice Pw has been studied extensively in previous publications. In this note we prove that the lattice Pw is not Brouwerian.

Acting Secretary. INTUITIONISM AND FORMALISMS

established in his Munich dissertation,* "Ueber die Ausbreitung der Wellen der drahtlosen Télégraphie auf der Erdkugel," for the case where ƒ(0) is continuous in the interval (0, w) and is subject to certain other restrictions, is also capable of representing a function which has a finite number of finite discontinuities in this interval, and that at such a point of discontinuity the integral r...